Merge branch 'wip/otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Sat, 18 May 2019 15:19:29 +0000 (15:19 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Sat, 18 May 2019 15:19:29 +0000 (15:19 +0000)
Wip/otte/for master

Closes #1900

See merge request GNOME/gtk!854


Trivial merge